Parallel two dimensional witness computation
نویسندگان
چکیده
منابع مشابه
Parallel Computation of Two-dimensional Linearized Euler Equations
Perform numerical analysis of sound generation and propagation with accuracy and with lower computational time are some of the main challenges for Computational Aeroacoustics (CAA), which had experienced some major improvements in the last decade. In the present work it was performed numerical study of two-dimensional propagation of waves by solving LEE equations applied to a Gaussian pulse in ...
متن کاملComputation of two-dimensional complex cepstrum
A technique based on fitting splines to the phase derivative curve is presented for the efficient and reliable computation of the two—dimensional complex cepstrum. The technique is an adaptive numerical integration scheme and makes use of several computational strategies within the Tribolet's phase unwrapping algorithm. An application of the complex cepstrum in testing the stability of two—dime...
متن کاملAn Optimal Parallel Radix Sorting Algorithm on Two and Three Dimensional Meshes for VLSI Computation
1 Abtract We consider radix sorting problems on two-dimensional mesh and three-dimensional mesh. By employing the radix sorting, we removed the necessity of comparator. Compared with previous sorting algorithms on the meshes which perform sorting based on comparison, our algorithm can be implemented on a simpler mesh since each processing element does not include the logic circuit for compariso...
متن کاملParallel Computation of Two-Dimensional Rotational Flows of Viscoelastic Fluids in Cylindrical Vessels
The numerical simulation of two-dimensional incompressible complex flows of viscoelastic fluids is presented. The context is one, relevant to the food industry, of mixing within a cylindrical vessel, where stirrers are located on the lid of the vessel. Here, the motion is considered as driven by the rotation of the outer vessel wall, with various stirrer locations. With a single stirrer, both a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2004
ISSN: 0890-5401
DOI: 10.1016/s0890-5401(03)00162-7